#include <stdio.h>
#include <stdint.h>
#include <stdlib.h>


/* Typedefs */

typedef uint32_t data_t;

/* Insertion sort */
void isort(data_t *left, data_t *right) ;

